Subtyping Constrained Types ( Draft ) Valery Trifonov

Subtyping Constrained Types

A constrained type is a type that comes with a set of subtyping constraints on variables occurring in the type. Constrained type inference systems are a natural generalization of Hindley/Milner type inference to languages with subtyping. This paper develops several subtyping relations on polymorphic constrained types of a general form that allows recursive constraints and multiple bounds on typ...

Type Inference for Recursively Constrained Types and

Constrained Types and their

A constrained type consists of both a standard type and a constraint set. Such types enable ee-cient type inference for object-oriented languages with polymorphism and subtyping, as demonstrated by Eifrig, Smith, and Trifonov. Until now, it has been unclear how expressive constrained types are. In this paper we study constrained types without universal quantiication. We prove that they accept t...

Type inference for recursively constrained types and its application to OOP

We de ne a powerful type inference mechanism with application to object oriented programming The types inferred are recursively constrained types types that come with a system of constraints These types may be viewed as generalizations of recur sive types and F bounded polymorphic types the forms of type that are necessary to properly encode object typings The base language we study I Soop inco...

On Binary Methods

partially supported by NSF grant CCR and NSF grant CCR Internet kim cs williams edu yInternet luca src dec com zInternet castagna dmi ens fr xJonathan Eifrig Scott Smith Valery Trifonov Contact Scott Smith Research partially supported by NSF grant CCR and AFOSR grant F Internet scott cs jhu edu partially supported by NSF grants CCR and CCR Internet leavens cs iastate edu kInternet benjamin pier...